Performance Evaluation of Complex Systems Using the SBIP Framework

In this paper we survey the main experiments performed using the SBIP framework. The latter consists of a stochastic componentbased modeling formalism and a probabilistic model checking engine for verification. The modeling formalism is built as an extension of BIP and enables to build complex systems in a compositional way, while the verification engine implements a set of statistical algorithms for the verification of qualitative and quantitative properties. The SBIP framework has been used to model and verify a large set of real life systems including various network protocols and multimedia applications.